#include <sysbios/nano/Kernel.h>
#include <xdc/runtime/System.h>

#include "package/internal/Drv.xdc.h"

Void Drv_doIO( Int data, Kernel_Event* done )
{
    System_printf("doIO: %d\n", data);
    Kernel_post(done);
}
